﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace TruthTree2.PC.Logic
{
    public class Constant : Atom
    {
        internal string label;

        public Constant(string l)
        {
            label = l;
        }

        public override Sentence Copy()
        {
            return new Constant(label);
        }

        public override bool Equal(Sentence o)
        {
            if (o is Constant)
            {
                Constant c = (Constant)o;
                return label.Equals(c.label);
            }

            return false;
        }

        public override string ToString()
        {
            return label;
        }
    }
}
